# completeness

111

**Depth-limited search**— Class Search Algorithm Data structure Graph Worst case performance O( | V | + | E | ) …112

**Turing reduction**— In computability theory, a Turing reduction from a problem A to a problem B, named after Alan Turing, is a reduction which solves A, assuming B is already known (Rogers 1967, Soare 1987). It can be understood as an algorithm that could be used to …113

**Condensed detachment**— (Rule D) is a method of finding the most general possible conclusion given two formal logical statements. It was developed by the Irish logician Carew Meredith in the 1950s and inspired by the work of Łukasiewicz. Contents 1 Informal description… …114

**OBD-II PIDs**— (On board diagnostics Parameter IDs) are codes used to request data from a vehicle, used as a diagnostic tool. SAE standard J/1979 defines many PIDs, but manufacturers also define many more PIDs specific to their vehicles. All cars sold in North… …115

**Motion planning**— (a.k.a., the navigation problem , the piano mover s problem ) is a term used in robotics for the process of detailing a task into discrete motions. For example, consider navigating a mobile robot inside a building to a distant waypoint. It should …116

**Reliability of Wikipedia**— Vandalism of a Wikipedia article. The section on the left is the normal, undamaged version; and on the right is the edited, damaged version. The reliabili …117

**ISA 500 Audit Evidence**— Editing ISA 500 Audit Evidence is one of the International Standards on Auditing. It serves to expect the auditor is to obtain audit evidence from an appropriate mix of tests of control systems and substantive tests of transaction and balances.It …118

**Complete theory**— In mathematical logic, a theory is complete if it is a maximal consistent set of sentences, i.e., if it is consistent, and none of its proper extensions is consistent. For theories in logics which contain classical propositional logic, this is… …119

**Thirsty Merc (album)**— Infobox Album Name = Thirsty Merc Type = studio Artist = Thirsty Merc Released = August 16, 2004 (Original release) August 5, 2005 (Repackaged release) Recorded = 2004 Genre = Rock Length = 54:30 (Original release) Label = Warner Music Australia… …120

**T-norm fuzzy logics**— are a family of non classical logics, informally delimited by having a semantics which takes the real unit interval [0, 1] for the system of truth values and functions called t norms for permissible interpretations of conjunction. They are mainly …